972 search results - page 127 / 195 » Intersection types and computational effects |
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
IPPS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes a framework for providing the ability to use multiple specialized data parallel libraries and/or languages within a single application. The ability to use mul...
CSE
2009
IEEE
14 years 26 days ago
2009
IEEE
This paper contributes to the evolving body of knowledge pertaining to the study of digitally-enabled social networks, their usage, and their effects on people, organization, and s...
DAC
2006
ACM
14 years 18 days ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
DSN
2006
IEEE
14 years 18 days ago
2006
IEEE
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...