1179 search results - page 82 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
160
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
218
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...
156
click to vote
FATES
2004
Springer
16 years 1 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
191
click to vote
WSC
2008
15 years 9 months ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
269
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...