SP
2002
IEEE
13 years 4 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
STTT
1998
13 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
PC
1998
13 years 4 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
INFSOF
2002
13 years 4 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
PRESENCE
2000
13 years 4 months ago
2000
We describe a tool enabling non-professionals to create digital layouts for large-scale graphical virtual environments. The design tool is based on "elements of the city imag...
EXPERT
2002
13 years 4 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
INFSOF
2000
13 years 4 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
CSCW
2002
ACM
13 years 4 months ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...
COR
2002
13 years 4 months ago
2002
The overall aim of this study is to show that there is a critical interface between the lot sizing and tool management decisions, and these two problems cannot be viewed in isolat...
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
13 years 4 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...