Sciweavers

165 search results - page 23 / 33
» Constraints: The Ties that Bind
Sort
View
BIRTHDAY
2008
Springer
13 years 8 months ago
What Do Semantics Matter When the Meat Is Overcooked?
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
José Luiz Fiadeiro
AGP
2003
IEEE
14 years 27 days ago
Interpreting Abduction in CLP
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
Marco Gavanelli, Evelina Lamma, Paola Mello, Miche...
ICCAD
2007
IEEE
118views Hardware» more  ICCAD 2007»
14 years 4 months ago
Timing variation-aware high-level synthesis
—This work proposes a new yield computation technique dedicated to HLS, which is an essential component in timing variationaware HLS research field. The SSTAs used by the curren...
Jongyoon Jung, Taewhan Kim
CN
2004
130views more  CN 2004»
13 years 7 months ago
The effect of bandwidth and buffer pricing on resource allocation and QoS
Congestion-based pricing of network resources is a common approach in evolving network architectures that support Quality of Service (QoS). Resource usage and QoS will thus fluctu...
Nan Jin, Scott Jordan
ACISICIS
2007
IEEE
14 years 1 months ago
ORN Additive: Shrinking the Gap between Database Modeling and Implementation
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
Bryon K. Ehlmann