16190 search results - page 302 / 3238 » Applicative programming with effects |
142
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
136
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
148
click to vote
ASPLOS
2012
ACM
13 years 12 months ago
2012
ACM
Numerous data center services exhibit low average utilization leading to poor energy efficiency. Although CPU voltage and frequency scaling historically has been an effective mea...
196
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
105
click to vote
IJET
2007
15 years 4 months ago
2007
— This paper introduces the Online Customization and Enrollment Application Network (OCEAN), developed in the School of Engineering at the University of Bridgeport. OCEAN is an i...