Sciweavers

3387 search results - page 188 / 678
» Automating the Metamodeling Process
Sort
View
DAC
2006
ACM
16 years 6 months ago
Synthesis of high-performance packet processing pipelines
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
DIAL
2006
IEEE
155views Image Analysis» more  DIAL 2006»
15 years 11 months ago
Interactive Document Processing and Digital Libraries
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...
George Nagy, Daniel P. Lopresti
CSEE
2006
Springer
15 years 8 months ago
Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
Anne Comer, Helen M. Edwards
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 7 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
ISTA
2007
15 years 6 months ago
Analytical data modeling of investment project financing process
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...
Mikhail D. Godlevskiy, Valentina V. Moskalenko, Vl...