1228 search results - page 115 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
162
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
155
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
177
click to vote
ISQED
2007
IEEE
16 years 21 days ago
2007
IEEE
With the increasing size and sophistication of circuits and specifically in the presence of IP blocks, new wirelength estimation methods are needed in the design flow of large-sca...
199
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
161
click to vote
MHCI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...