Sciweavers

3302 search results - page 354 / 661
» Software Is More Than Code
Sort
View
MMM
2005
Springer
136views Multimedia» more  MMM 2005»
16 years 9 days ago
Gigabit Ethernet-Based Parallel Video Processing
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...
Horst Eidenberger
CAV
2005
Springer
122views Hardware» more  CAV 2005»
16 years 8 days ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
SEKE
2004
Springer
16 years 2 days ago
Digging into the Visitor Pattern
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...
Fabian Büttner, Oliver Radfelder, Arne Lindow...
VL
2003
IEEE
136views Visual Languages» more  VL 2003»
15 years 12 months ago
The effects of graphical and textual visualisations in multi-representational debugging environments
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...
Pablo Romero, Benedict du Boulay, Rudi Lutz, Richa...
BIRTHDAY
2003
Springer
15 years 12 months ago
Important Aspect of Knowledge Management
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
Hermann A. Maurer