6 search results - page 1 / 2 » A Framework for State-Space Exploration of Java-Based Actor ... |
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
83
Voted
SIGSOFT
2007
ACM
16 years 9 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
129
Voted
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
102
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...