3256 search results - page 314 / 652 » Applications of Formal Methods to System Design and Verifica... |
172
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Any data exchanged between the processor and main memory uses the memory bus, sharing it with data exchanged between I/O devices and main memory. If the processor and a device try...
162
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
A novel approach to quality of service control in an active service network (application layer active network) is described. The approach makes use of a distributed genetic algori...
146
click to vote
SIGOPS
2010
15 years 5 months ago
2010
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...
174
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
167
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...