3911 search results - page 141 / 783 » Using Operational Architecture to Model Embedded Software |
127
Voted
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
142
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
138
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
143
click to vote
COMPSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
141
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an off-chip partitioned memory architecture having multiple memory banks ...