5536 search results - page 62 / 1108 » Programming Languages for Distributed Applications |
109
click to vote
JAVACARD
2000
15 years 6 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
ECOOPW
2007
Springer
15 years 8 months ago
2007
Springer
114
click to vote
ICS
2001
Tsinghua U.
15 years 6 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
116
Voted
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
Load balancing is an important consideration when running data-parallel programs. While traditional techniques trade off the cost of load imbalance with the overhead of mitigating...
140
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...