1986 search results - page 128 / 398 » constraints 2006 |
123
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents VITRAL, a multicolor text mode window manager designed for embedded real-time systems. Therefore, timeliness requirements and resource constraints are the main...
128
click to vote
VTS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
141
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
129
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
126
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...