Sciweavers

1147 search results - page 119 / 230
» Termination in language-based systems
Sort
View
89
Voted
CAISE
2003
Springer
15 years 6 months ago
A Portal for Ubiquitous Collaboration
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...
Federico Bergenti, Socrates Costicoglou, Agostino ...
90
Voted
IFIP
2003
Springer
15 years 6 months ago
On the Integration of MPEG-4 Streams Pulled Out of High Performance Mobile Devices and Data Traffic over a Wireless Network
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
Spyros Psychis, Polychronis Koutsakis, Michael Pat...
3DIC
2009
IEEE
169views Hardware» more  3DIC 2009»
15 years 5 months ago
3-D memory organization and performance analysis for multi-processor network-on-chip architecture
Several forms of processor memory organizations have been in use to optimally access off-chip memory systems mainly the Hard disk drives (HDD). Recent trends show that the solid s...
Awet Yemane Weldezion, Zhonghai Lu, Roshan Weerase...
74
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
Runtime repair of software faults using event-driven monitoring
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
Chris Lewis 0002, Jim Whitehead
97
Voted
IFL
2001
Springer
15 years 5 months ago
Sized Types for Typing Eden Skeletons
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
Ricardo Pena, Clara Segura