Sciweavers

1194 search results - page 140 / 239
» Programming Support for Distributed Clustercomputing
Sort
View
POPL
2003
ACM
16 years 3 months ago
Interprocedural compatibility analysis for static object preallocation
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. ...
PODC
2009
ACM
16 years 6 days ago
Memory models: a case for rethinking parallel languages and hardware
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
Sarita V. Adve
FASE
2009
Springer
15 years 7 months ago
Certification of Smart-Card Applications in Common Criteria
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
Iman Narasamdya, Michaël Périn
ICMCS
1999
IEEE
92views Multimedia» more  ICMCS 1999»
15 years 7 months ago
Broadband Multimedia Information Service for European Parliaments
This paper presents a distributed broadband multimedia information service that is realised within the project EPRICOM that is supported by the European Union within the ACTS prog...
Karsten Morisse, Francisco Cortes, Reinhard Lü...
MOBISYS
2008
ACM
16 years 2 months ago
Flashproxy: transparently enabling rich web content via remote execution
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
Alexander Moshchuk, Steven D. Gribble, Henry M. Le...