Sciweavers

2200 search results - page 175 / 440
» Programming norm change
Sort
View
DDECS
2008
IEEE
184views Hardware» more  DDECS 2008»
16 years 28 days ago
Software-Based Self-Test Strategy for Data Cache Memories Embedded in SoCs
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...
Wilson J. Perez, Jaime Velasco-Medina, Danilo Ravo...
ICRA
2007
IEEE
103views Robotics» more  ICRA 2007»
16 years 23 days ago
Realization of Dynamics Simulator Embedded Robot Brain for Humanoid Robots
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
Takashi Ogura, Kei Okada, Masayuki Inaba
ECOOP
2007
Springer
16 years 19 days ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 18 days ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
AUIC
2006
IEEE
16 years 15 days ago
Visualisations of execution traces (VET): an interactive plugin-based visualisation tool
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...
Mike McGavin, Tim Wright, Stuart Marshall