Sciweavers

3872 search results - page 197 / 775
» The Java memory model
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 9 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
IICAI
2007
15 years 4 months ago
Topologically Continuous Associative Memory: A Theoretical Foundation
We introduce a neural network with associative memory and a continuous topology, i.e. its processing units are elements of a continuous metric space and the state space is Euclide...
Enrique Carlos Segura
SIGCSE
2008
ACM
158views Education» more  SIGCSE 2008»
15 years 2 months ago
The game of life: an outreach model for high school students with disabilities
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...
Richard E. Ladner, Tammy VanDeGrift
PLDI
2009
ACM
16 years 3 months ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav
FASE
2009
Springer
15 years 10 months ago
Logical Testing
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
Kathryn E. Gray, Alan Mycroft