Sciweavers

3837 search results - page 562 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
139
Voted
COMSWARE
2006
IEEE
15 years 6 months ago
M2MC: Middleware for many to many communication over broadcast networks
M2MC is a new distributed computing middleware designed to support collaborative applications running on devices connected by broadcast networks. Examples of such networks are wire...
Chaitanya Krishna Bhavanasi, Sridhar Iyer
119
Voted
DICS
2006
15 years 6 months ago
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective
Dynamic Parallel Schedules (DPS) is a flow graph based framework for developing parallel applications on clusters of workstations. The DPS flow graph execution model enables automa...
Sebastian Gerlach, Basile Schaeli, Roger D. Hersch
99
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Energy-efficient file placement techniques for heterogeneous mobile storage systems
While hard disk drives are the most common secondary storage devices, their high power consumption and low shockresistance limit them as an ideal mobile storage solution. On the o...
Young-Jin Kim, Kwon-Taek Kwon, Jihong Kim
114
Voted
ISSTA
2000
ACM
15 years 6 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
125
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...