783 search results - page 102 / 157 » The Bio-PEPA Tool Suite |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Studying Web graphs is often difficult due to their large size. Recently, several proposals have been published about various techniques that allow to store a Web graph in memory ...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Authoring tools routinely include a timeline representation to allow the author to specify the sequence of animations and interactions. However, traditional static timelines are b...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...