Results 31 to 40 of about 42,393 (50)
Modeling industrial embedded systems with UML [PDF]
, 2000 João M. Fernandes +2 more
openalex +1 more source
Embedding a Second-Order Type System into an Intersection Type System
, 1995 Hirofumi Yokouchi
openalex +1 more source
Linking codesign and reuse in embedded systems design [PDF]
, 2000 M. Meerwein +2 more
openalex +1 more source
Java bytecode compression for low-end embedded systems [PDF]
, 2000 Lars Clausen +3 more
openalex +1 more source
Automatic symbolic verification of embedded systems
, 1996 Rajeev Alur +2 more
openalex +2 more sources
Semantical aspects of an architecture for distributed embedded systems [PDF]
, 2000 Roel Bloo, Jozef Hooman, Edwin de Jong
openalex +1 more source
Formalized three-layer system-level reuse model and methodology for embedded data-dominated applications [PDF]
, 2000 Frédéric Vermeulen +3 more
openalex +1 more source
Performance estimation for embedded systems with data and control dependencies [PDF]
, 2000 Paul Pop, Petru Els, Zebo Peng
openalex +1 more source