Sciweavers

1016 search results - page 45 / 204
» Automatic Analysis of Programming Assignments
Sort
View
90
Voted
SIGCSE
1997
ACM
121views Education» more  SIGCSE 1997»
15 years 5 months ago
Application-based modules using apprentice learning for CS 2
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
Owen L. Astrachan, Robert F. Smith, James T. Wilke...
FCCM
2000
IEEE
144views VLSI» more  FCCM 2000»
15 years 5 months ago
Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
Pedro C. Diniz, Joonseok Park
IJNSEC
2007
142views more  IJNSEC 2007»
15 years 21 days ago
Java Bytecode Dependence Analysis for Secure Information Flow
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Ma...
MM
2006
ACM
157views Multimedia» more  MM 2006»
15 years 6 months ago
Syllabic level automatic synchronization of music signals and text lyrics
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
Denny Iskandar, Ye Wang, Min-Yen Kan, Haizhou Li
99
Voted
ACSC
2004
IEEE
15 years 4 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell