Sciweavers

3902 search results - page 524 / 781
» Hardware Synthesis from C C Models
Sort
View
ENTCS
2006
127views more  ENTCS 2006»
15 years 6 months ago
Capability-Passing Processes
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
Tom Chothia, Dominic Duggan
CGA
2007
15 years 6 months ago
Fast Simulation of Laplacian Growth
— Laplacian instability is the physical mechanism that drives pattern formation in many disparate natural phenomena. However, current algorithms for simulating this instability a...
Theodore Kim, Jason Sewall, Avneesh Sud, Ming C. L...
165
Voted
IVC
2008
95views more  IVC 2008»
15 years 6 months ago
Computer vision techniques for forest fire perception
This paper presents computer vision techniques for forest fire perception involving measurement of forest fire properties (fire front, flame height, flame inclination angle, fire ...
J. Ramiro Martinez de Dios, Begoña C. Arrue...
PE
2008
Springer
114views Optimization» more  PE 2008»
15 years 6 months ago
An efficient technique to analyze the impact of bursty TCP traffic in wide-area networks
In this paper we describe an analytical technique for the performance evaluation of wide-area networks carrying realistic TCP traffic, such as that produced by a large number of f...
Michele Garetto, Donald F. Towsley
CCE
2004
15 years 6 months ago
Designing reactive distillation processes: present and future
The potential benefits of applying reactive distillation (RD) processes are taxed by significant complexities in process development and design. The design problem is formulated i...
C. P. Almeida-Rivera, P. L. J. Swinkels, J. Grievi...