Sciweavers

3708 search results - page 392 / 742
» Programming with C Exceptions
Sort
View
TGC
2007
Springer
16 years 25 days ago
Transactional Service Level Agreement
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
Maria Grazia Buscemi, Hernán C. Melgratti
SCAM
2006
IEEE
16 years 22 days ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke
ASPDAC
2006
ACM
93views Hardware» more  ASPDAC 2006»
16 years 21 days ago
Open access overview "industrial experience"
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
Yoshio Inoue
EUROPAR
2004
Springer
16 years 3 days ago
A Fusion-Embedded Skeleton Library
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasak...
ICALP
2004
Springer
16 years 2 days ago
Easily Refutable Subformulas of Large Random 3CNF Formulas
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
Uriel Feige, Eran Ofek