5180 search results - page 312 / 1036 » Concurrency, Time, and Constraints |
188
click to vote
COCOON
2001
Springer
15 years 11 months ago
2001
Springer
We consider generalized discrete timed automata with general linear relations over clocks and parameterized constants as clock constraints and with parameterized durations. We look...
190
click to vote
ATS
2001
IEEE
15 years 10 months ago
2001
IEEE
Testing embedded cores in a System-on-a-chip necessitates the use of a Test Access Mechanism, which provides for transportation of the test data between the chip and the core I/Os...
190
click to vote
AAAI
2007
15 years 9 months ago
2007
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
187
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
149
click to vote
FECS
2007
15 years 8 months ago
2007
: This paper examines the benefits that can arise from increased use of labs in computer science instruction. While some use of labs is widespread in the earliest computer science ...