439 search results - page 75 / 88 » Type invariants for Haskell |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Word-of-mouth communication has been shown to play a key role in a variety of environments such as viral marketing and virus spreading. A family of algorithms, generally known as ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper demonstrates the importance of capturing SpatialTemporal Enhancement Pattern (STEP) for completely characterizing breast tumor in contrast-enhanced MR images. STEP capt...
SOCA
2007
IEEE
14 years 1 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...