3168 search results - page 481 / 634 » Computing Event Dependencies in System Designs and Programs |
174
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
175
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
169
click to vote
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
133
click to vote
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
174
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...