5672 search results - page 364 / 1135 » Design techniques for low-power systems |
161
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
225
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
217
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 6 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
225
click to vote
EMSOFT
2009
Springer
16 years 1 months 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 ...
159
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...