147 search results - page 16 / 30 » The structure and value of modularity in software design |
109
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
120
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
155
Voted
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
135
click to vote
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
124
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...