Sciweavers

2435 search results - page 234 / 487
» System Exploration of SystemC Designs
Sort
View
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 8 months ago
BloomUnit: declarative testing for distributed programs
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
Peter Alvaro, Andrew Hutchinson, Neil Conway, Will...
HICSS
2007
IEEE
101views Biometrics» more  HICSS 2007»
16 years 15 days ago
Antecedents to Relational and Nonrelational Source Use: An Exploratory Investigation
Drawing a distinction between relational and nonrelational sources, we explore the antecedents to selecting an information source. The antecedents to use have been categorized int...
J. Christopher Zimmer, Raymond M. Henry
MHCI
2004
Springer
15 years 11 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
HT
2003
ACM
15 years 11 months ago
Collage, composites, construction
Tinderbox, a hypertext tool for making, analyzing, and sharing notes, explores the use of collage to build and share linked conceptual structures. Adopting a simple, regular data ...
Mark Bernstein
GI
2007
Springer
15 years 10 months ago
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
Steffen Prochnow, Reinhard von Hanxleden