Sciweavers

42507 search results - page 111 / 8502
» On the analysis of
Sort
View
ESOP
2007
Springer
16 years 18 days ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
ICALT
2006
IEEE
16 years 15 days ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
SIGCSE
2005
ACM
180views Education» more  SIGCSE 2005»
16 years 6 hour ago
Analyze that: puzzles and analysis of algorithms
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
Anany Levitin
CAV
2005
Springer
106views Hardware» more  CAV 2005»
15 years 12 months ago
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
Christopher L. Conway, Kedar S. Namjoshi, Dennis D...
CIVR
2003
Springer
108views Image Analysis» more  CIVR 2003»
15 years 11 months ago
Multimedia Content Analysis: The Next Wave
We have witnessed a decade of exploding research interest in multimedia content analysis. The goal of content analysis has been to derive automatic methods for high-level descripti...
Nevenka Dimitrova