Sciweavers

3532 search results - page 379 / 707
» Visualization of SystemC Designs
Sort
View
CHI
2005
ACM
16 years 7 months ago
Flipper: a new method of digital document navigation
Page flipping is an important part of paper-based document navigation. However this affordance of paper document has not been fully transferred to digital documents. In this paper...
François Guimbretière, Liyang Sun
OSDI
2008
ACM
16 years 6 months ago
Hunting for Problems with Artemis
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Mois&eac...
EDBT
2004
ACM
183views Database» more  EDBT 2004»
16 years 6 months ago
XQBE: A Graphical Interface for XQuery Engines
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
Daniele Braga, Alessandro Campi, Stefano Ceri
ICSE
2008
IEEE-ACM
16 years 6 months ago
Benefits of interactive display environments in the software development process
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...
Mathias Frisch, Raimund Dachselt
FASE
2009
Springer
16 years 1 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli