Sciweavers

3706 search results - page 207 / 742
» KtSeqC: System Description
Sort
View
MHCI
2004
Springer
15 years 12 months ago
Smartphone Views: Building Multi-device Distributed User Interfaces
Abstract. This paper introduces a prototype of a distributed user interface (DUI) on dual devices, a workstation and a Windows Mobilepowered smartphone. By porting the XML-complian...
Micael Sjölund, Anders Larsson, Erik Berglund
SAMOS
2004
Springer
15 years 12 months ago
Synchronous Transfer Architecture (STA)
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...
Gordon Cichon, Pablo Robelly, Hendrik Seidel, Emil...
AOSE
2003
Springer
15 years 12 months ago
Temporal Aspects of Dynamic Role Assignment
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 12 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
IPPS
2002
IEEE
15 years 11 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell