2960 search results - page 166 / 592 » A vision for embedded software |
168
click to vote
PLPV
2009
ACM
16 years 27 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
122
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
132
click to vote
LSO
2004
Springer
15 years 9 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
127
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
102
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
: Watchdogs are a well-known and widespread means to increase the safety of microprocessors. The programmer or the compiler must insert instructions to reset the watchdog. If the p...