5210 search results - page 73 / 1042 » Tools for Distributed Facilitation |
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
123
click to vote
RTAS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
126
click to vote
FPL
2009
Springer
15 years 6 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
105
click to vote
CRIWG
2004
15 years 2 months ago
2004
Abstract. This work presents a middleware for collaborative applications that increase product and workspace awareness information available to users of computer-aided software eng...
117
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...