Sciweavers

2068 search results - page 315 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
SEMWEB
2005
Springer
15 years 10 months ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...
VMCAI
2005
Springer
15 years 10 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
ASPDAC
2004
ACM
120views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Compiler based exploration of DSP energy savings by SIMD operations
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
Markus Lorenz, Peter Marwedel, Thorsten Dräge...
SIGOPSE
2004
ACM
15 years 10 months ago
QoS for internet services: done right
In this paper we argue that the best approach to providing Quality of Service (QoS) guarantees to current Internet services is to use admission control and traffic shaping techni...
Josep M. Blanquer, Antoni Batchelli, Klaus E. Scha...
IWMM
2004
Springer
122views Hardware» more  IWMM 2004»
15 years 9 months ago
Experience with safe manual memory-management in cyclone
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...
Michael W. Hicks, J. Gregory Morrisett, Dan Grossm...