4074 search results - page 265 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
177
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes an algorithm for determining if an event occurs persistently within an interval where the interval is periodic but the event is not. The goal of the algorithm...
176
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
262
click to vote
JCIT
2010
15 years 1 months ago
2010
Artificial neural networks and genetic algorithms derived from the corresponding simulation of biology, anatomy. The paper analyzes the advantages and the disadvantages of the art...
172
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
182
click to vote
WSC
2007
15 years 9 months ago
2007
Developing and analyzing schedules is essential for successfully controlling the time aspect of construction projects. The critical path method of scheduling is by far the most wi...