Sciweavers

164 search results - page 27 / 33
» Rewriting Extended Regular Expressions
Sort
View
IPPS
2007
IEEE
14 years 2 months ago
Scheduling in the Z-Polyhedral Model
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
Gautam Gupta, DaeGon Kim, Sanjay V. Rajopadhye
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
14 years 2 months ago
Communication and co-simulation infrastructure for heterogeneous system integration
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hs...
FCCM
2003
IEEE
185views VLSI» more  FCCM 2003»
14 years 1 months ago
Implementation of a Content-Scanning Module for an Internet Firewall
A module has been implemented in Field Programmable Gate Array (FPGA) hardware that scans the content of Internet packets at Gigabit/second rates. All of the packet processing ope...
James Moscola, John W. Lockwood, Ronald Prescott L...
JELIA
1990
Springer
14 years 20 days ago
Action Logic and Pure Induction
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
Vaughan R. Pratt
CLEF
2004
Springer
14 years 11 days ago
Pattern-Based Image Retrieval with Constraints and Preferences on ImageCLEF 2004
This paper presents the approach used by the University of Alicante in the ImageCLEF 2004 adhoc retrieval task. This task is performed by multilingual search requests (topics) agai...
Maximiliano Saiz-Noeda, José Luis Vicedo Go...