858 search results - page 38 / 172 » A Vision for International Standardization in Software and S... |
AC
2005
Springer
13 years 8 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
FOSSACS
2003
Springer
14 years 1 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
OOPSLA
1993
Springer
14 years 18 days ago
1993
Springer
iam Pugh. Advice to authors of extended abstracts. http://www.acm.org/sigplan/conferences/author-info/pughadvice.html. [7] Mary Shaw. Writing good software engineering research pap...
CODES
2001
IEEE
14 years 4 days ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...