698 search results - page 94 / 140 » Fast functional simulation using branching programs |
135
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Wireless reprogramming of a sensor network is useful for uploading new code or for changing the functionality of existing code. Through the process, a node should remain recept...
136
click to vote
AAAI
2006
15 years 2 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
102
click to vote
ISMB
1993
15 years 2 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...