Sciweavers

4438 search results - page 240 / 888
» The Case for Collaborative Programming
Sort
View
164
Voted
SC
1992
ACM
15 years 10 months ago
Parallel Program Performance Metrics: A Comparison and Validation
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
Jeffrey K. Hollingsworth, Barton P. Miller
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
CODES
2004
IEEE
15 years 10 months ago
Design and programming of embedded multiprocessors: an interface-centric approach
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
Pieter van der Wolf, Erwin A. de Kock, Tomas Henri...
DATE
2004
IEEE
92views Hardware» more  DATE 2004»
15 years 10 months ago
Optimization of Integrated Spiral Inductors Using Sequential Quadratic Programming
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
Yong Zhan, Sachin S. Sapatnekar
FASE
2000
Springer
15 years 10 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper