7393 search results - page 1440 / 1479 » Synthesis-for-testability using transformations |
177
click to vote
LCTRTS
2007
Springer
16 years 18 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
190
click to vote
SSD
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...
177
click to vote
TGC
2007
Springer
16 years 18 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
156
click to vote
ECBS
2006
IEEE
16 years 16 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
184
click to vote
RTAS
2006
IEEE
16 years 15 days ago
2006
IEEE
The rapid need for high bandwidth and low latency communication in distributed real-time systems is driving system architects towards high-speed switches developed for high volume...