Sciweavers

3893 search results - page 360 / 779
» Execution Architectures and Compilation
Sort
View
ASPDAC
2006
ACM
95views Hardware» more  ASPDAC 2006»
16 years 21 days ago
A fast logic simulator using a look up table cascade emulator
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura
HRI
2006
ACM
16 years 21 days ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
ACSD
2005
IEEE
121views Hardware» more  ACSD 2005»
16 years 10 days ago
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
147
Voted
QSIC
2005
IEEE
16 years 9 days ago
A System to Mark Programs Automatically
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...
UML
2005
Springer
16 years 6 days ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev