Sciweavers

2786 search results - page 172 / 558
» A Practical Technique for Process Abstraction
Sort
View
114
Voted
FDL
2005
IEEE
15 years 7 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina
85
Voted
IH
1999
Springer
15 years 6 months ago
Robust Object Watermarking: Application to Code
In this paper, we focus on a step of the watermarking process whose importance has been disregarded so far. In this perspective, we introduce the vector extraction paradigm which i...
Julien P. Stern, Gaël Hachez, François...
EXPERT
2006
186views more  EXPERT 2006»
15 years 1 months ago
Agent-Based Semantic Service Discovery for Healthcare: An Organizational Approach
ing organizational abstractions as first-class citizens in the design process.2,3 So, a promising approach would be to combine Semantic Web services4 and agent technologies5,6 for ...
César Cáceres, Alberto Fernán...
107
Voted
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 6 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
FORMATS
2010
Springer
14 years 12 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...