1726 search results - page 217 / 346 » Traits: Tools and Methodology |
VRML
2004
ACM
14 years 2 months ago
2004
ACM
Epic Games provides a free game level editor with titles based on its Unreal engine. The editor provides a rich set of authoring tools that can be used to create fully interactive...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
PDCAT
2004
Springer
14 years 2 months ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...
SAMOS
2004
Springer
14 years 2 months ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...