8190 search results - page 310 / 1638 » From Timed to Hybrid Systems |
178
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
180
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
It has been over two decades since Group Support Systems (GSS) emerged on the Information Technology (IT) scene. GSS have now been commercialized and are present in an increasing ...
174
Voted
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
156
click to vote
CMMR
2007
Springer
16 years 28 days ago
2007
Springer
The paper describes an interactive musical system that utilizes a genetic algorithm in an effort to create inspiring collaborations between human musicians and an improvisatory ro...
159
click to vote
EDM
2008
15 years 8 months ago
2008
Students can use an educational system's help in unexpected r example, they may bypass abstract hints in search of a concrete solution. This behavior has traditionally been la...