1982 search results - page 354 / 397 » Parametricity and dependent types |
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
126
click to vote
Source Code
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind :
Usefulness
CImg defines classes and methods to manage images in y...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
The impact of interruptions on workflow and productivity has been extensively studied in the PC domain, but while fragmented user attention is recognized as an inherent aspect of ...
101
click to vote
ISBMS
2010
Springer
15 years 4 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...
ASUNAM
2009
IEEE
15 years 4 months ago
2009
IEEE
—We envision new communication paradigms, using physical dynamic interconnectedness among people. Delay Tolerant Networks (DTNs) are a new communication paradigm to support such ...