Sciweavers

668 search results - page 66 / 134
» Empirical Methods in Software Engineering Research
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
IWPC
2002
IEEE
14 years 3 months ago
Fused Data-Centric Visualizations for Software Evolution Environments
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
Jens H. Jahnke, Hausi A. Müller, Andrew Walen...
ISORC
2003
IEEE
14 years 3 months ago
The Event-Triggered and Time-Triggered Medium-Access Methods
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
Vilgot Claesson, Cecilia Ekelin, Neeraj Suri
IPPS
2007
IEEE
14 years 4 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema
CONPAR
1994
14 years 2 months ago
A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
Barbara M. Chapman, Piyush Mehrotra, John Van Rose...