5707 search results - page 396 / 1142 » Symbolic Simulation - Techniques and Applications |
216
click to vote
ANSS
2002
IEEE
16 years 19 days ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
249
click to vote
FMOODS
2007
15 years 9 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
202
click to vote
WSC
2001
15 years 9 months ago
2001
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
223
click to vote
IJNSEC
2010
15 years 2 months ago
2010
Ad-hoc networking is a concept in computer communications. Each node participating in the network acts both as host and a router and must therefore is willing to forward packets f...
222
click to vote
FCCM
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper we present our work toward FPGA acceleration of phylogenetic reconstruction, a type of analysis that is commonly performed in the fields of systematic biology and co...