Sciweavers

3907 search results - page 336 / 782
» Time, Knowledge, and Choice
Sort
View
CGO
2004
IEEE
15 years 10 months ago
Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems
Dynamic optimization systems store optimized or translated code in a software-managed code cache in order to maximize reuse of transformed code. Code caches store superblocks that...
Kim M. Hazelwood, James E. Smith
ASWEC
2006
IEEE
15 years 10 months ago
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
Christine Choppy, Gianna Reggio
CODES
2001
IEEE
15 years 10 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
ICPP
1995
IEEE
15 years 10 months ago
Multilevel Graph Partitioning Schemes
– In this paper we present experiments with a class of graph partitioning algorithms that reduce the size of the graph by collapsing vertices and edges, partition the smaller gra...
George Karypis, Vipin Kumar
142
Voted
ISN
1995
Springer
15 years 10 months ago
Counting the Costs and Benefits of Metaphor
It has been demonstrated that the use of suitable metaphors in the user service interface can have a dramatic effect on the way in which the user perceives the services, depending ...
Chris Condon, Stephan Keuneke