Sciweavers

3532 search results - page 379 / 707
» Visualization of SystemC Designs
Sort
View
134
Voted
CHI
2005
ACM
16 years 5 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 5 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 5 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 5 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
15 years 11 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