16190 search results - page 400 / 3238 » Applicative programming with effects |
161
click to vote
C5
2004
IEEE
15 years 8 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
183
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
127
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
270
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
133
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...