Sciweavers

3864 search results - page 25 / 773
» time 2005
Sort
View
FORMATS
2005
Springer
15 years 3 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
47
Voted
APPML
2005
63views more  APPML 2005»
14 years 9 months ago
The effect of receptor site nonuniformity on the measurement of rate constants
The BIAcore is an instrument for measuring rate constants in real time by using a surface
David A. Edwards, Sumanth Swaminathan
ECRTS
2005
IEEE
15 years 3 months ago
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
Sebastian Fischmeister, Klemens Winkler
VLSID
2005
IEEE
131views VLSI» more  VLSID 2005»
15 years 10 months ago
Efficient Space/Time Compression to Reduce Test Data Volume and Testing Time for IP Cores
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
Lei Li, Krishnendu Chakrabarty, Seiji Kajihara, Sh...
96
Voted
CIG
2005
IEEE
15 years 3 months ago
Case-Injection Improves Response Time for a Real-Time Strategy Game
We present a case-injected genetic algorithm player for Strike Ops, a real-time strategy game. Such strategy games are fundamentally resource allocation optimization problems and o...
Chris Miles, Sushil J. Louis