9370 search results - page 1513 / 1874 » An Abstract Notion of Application |
199
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
189
click to vote
RSP
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
185
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Despite their potential applications in software comprehension, it appears that dynamic visualisation tools are seldom used outside the research laboratory. This paper presents an...
198
click to vote
WMCSA
2003
IEEE
16 years 2 days ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
168
click to vote
CASES
2003
ACM
16 years 1 days ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...