2295 search results - page 223 / 459 » Optimization aspects in network simulation |
130
click to vote
CCGRID
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
150
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
130
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
139
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
173
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...