Sciweavers

4476 search results - page 599 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
PEPM
2007
ACM
16 years 26 days ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
IPPS
2009
IEEE
16 years 1 months ago
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...
Rajesh Nishtala, Paul Hargrove, Dan Bonachea, Kath...
DATE
2000
IEEE
86views Hardware» more  DATE 2000»
15 years 11 months ago
System Level Design Using C++
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
Diederik Verkest, Joachim Kunkel, Frank Schirrmeis...
ICCSA
2009
Springer
16 years 1 months ago
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
Sergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca
SPATIALCOGNITION
2004
Springer
16 years 2 days ago
Towards Dialogue Based Shared Control of Navigating Robots
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd K...