Sciweavers

16883 search results - page 126 / 3377
» Generalized Non-Reducible Descriptors
Sort
View
SIGUCCS
2004
ACM
15 years 10 months ago
Walking the tightrope of faculty support
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
Kelly Wainwright, Bruce Arnold
OOPSLA
2004
Springer
15 years 10 months ago
Advancements in multicode optimization
In previous work, we have shown that multicodes can be used to improve the performance of Java applications. We extend that work by both implementing more multicodes and consideri...
Ben Stephenson, Wade Holst
CODES
2003
IEEE
15 years 10 months ago
Transaction level modeling: an overview
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
Lukai Cai, Daniel Gajski
DAC
2003
ACM
15 years 10 months ago
Dos and don'ts of CTL state coverage estimation
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
DPPI
2003
ACM
15 years 10 months ago
Defining co-experience
In the context of design for experience this paper presents a review of existing models of user experience. In response to a prevalent view of experience as something individual, ...
Katja Battarbee