Sciweavers

851 search results - page 115 / 171
» Associative definition of programming languages
Sort
View
MICRO
2007
IEEE
133views Hardware» more  MICRO 2007»
14 years 3 months ago
Revisiting the Sequential Programming Model for Multi-Core
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...
Matthew J. Bridges, Neil Vachharajani, Yun Zhang, ...
ACMSE
2006
ACM
14 years 2 months ago
Extensions to and optimization of a mobile computational system for internet programming
elow are abstracts of student-faculty collaborative work presented at regional, national, and international conferences. Gregory Adkins, Elizabeth Carter, Amanda Micai, and Sarah M...
Sarah Monisha Pulimood, Gregory Adkins, Elizabeth ...
CLIMA
2004
13 years 10 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
14 years 27 days ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
EUROPAR
2008
Springer
13 years 10 months ago
A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
Hinde-Lilia Bouziane, Christian Pérez, Thie...