Sciweavers

1336 search results - page 60 / 268
» codes 2005
Sort
View
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
15 years 11 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
15 years 11 months ago
Easing Program Comprehension by Sharing Navigation Data
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
Robert DeLine, Mary Czerwinski, George G. Robertso...
VRML
2005
ACM
15 years 11 months ago
Web-based progressive geometry transmission using subdivision-surface wavelets
Web-based geometry transmission profits from a transmission system, which is both progressive and compressive. For this application, the wavelet transform has emerged as a suitab...
Jens Jessl, Martin Bertram, Hans Hagen
ICWE
2005
Springer
15 years 11 months ago
Towards Model-Driven Testing of a Web Application Generator
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
LCTRTS
2005
Springer
15 years 11 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg