3436 search results - page 542 / 688 » Software Tools for Performance Modeling of Parallel Programs |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
EUROSYS
2007
ACM
14 years 29 days ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
ASE
1999
13 years 8 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
When a system fails to satisfy its speciļ¬cation, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...