Sciweavers

5180 search results - page 777 / 1036
» Concurrency, Time, and Constraints
Sort
View
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
16 years 24 days ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
AVSS
2006
IEEE
16 years 23 days ago
People Tracking Using a Time-of-Flight Depth Sensor
Visually track several moving persons engaged in close interactions is known to be a very hard problem, though 3-D approaches based on stereo vision and plan-view maps offer much ...
Alessandro Bevilacqua, Luigi di Stefano, Pietro Az...
FDL
2006
IEEE
16 years 23 days ago
Functional Virtual Prototyping Design Flow and VHDL-AMS
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...
Yannick Hervé, Patricia Desgreys
GLOBECOM
2006
IEEE
16 years 23 days ago
Content Delivery in Overlay Networks: a Stochastic Graph Processes Perspective
— We consider the problem of distributing a content of finite size to a group of users connected through an overlay network that is built by a peer-to-peer application. The goal...
Damiano Carra, Renato Lo Cigno, Ernst W. Biersack
IPCCC
2006
IEEE
16 years 22 days ago
SHARP: a new real-time scheduling algorithm to improve security of parallel applications on heterogeneous clusters
This paper addresses the problem of improving quality of security for real-time parallel applications on heterogeneous clusters. We propose a new security- and heterogeneity-drive...
Tao Xie 0004, Xiao Qin, Mais Nijim