Sciweavers

9818 search results - page 99 / 1964
» Much Support and More
Sort
View
JSS
2006
62views more  JSS 2006»
15 years 6 months ago
A method for defining IEEE Std 1471 viewpoints
With the growing impact of information technology the proper understanding of IT-architecture designs is becoming ever more important. Much debate has been going on about how to d...
Henk Koning, Hans van Vliet
SIGCSE
2008
ACM
150views Education» more  SIGCSE 2008»
15 years 6 months ago
Backstop: a tool for debugging runtime errors
The errors that Java programmers are likely to encounter can roughly be categorized into three groups: compile-time (semantic and syntactic), logical, and runtime (exceptions). Wh...
Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam...
TVLSI
2008
120views more  TVLSI 2008»
15 years 6 months ago
An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
CACM
1998
106views more  CACM 1998»
15 years 6 months ago
Sorting Out Searching: A User-Interface Framework for Text Searches
: Current user interfaces for textual database searching leave much to be desired: individually, they are often confusing, and as a group, they are seriously inconsistent. We propo...
Ben Shneiderman, Donald Byrd, W. Bruce Croft
WRLA
2010
15 years 4 months ago
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
Francisco Durán, José Meseguer