Sciweavers

7527 search results - page 1106 / 1506
» Design and implementation of the KioskNet system
Sort
View
CAL
2006
15 years 7 months ago
A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
Wentong Li, Saraju P. Mohanty, Krishna M. Kavi
MTA
2006
136views more  MTA 2006»
15 years 7 months ago
An open framework supporting multimedia web services
With the rapid emergence of Web services, more and more Web services are published on the Internet as resources for Web application development. There may exist some relationships ...
Jia Zhang, Jen-Yao Chung
AC
2005
Springer
15 years 7 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
INFSOF
2007
81views more  INFSOF 2007»
15 years 7 months ago
An infrastructure to support interoperability in reverse engineering
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
Nicholas A. Kraft, Brian A. Malloy, James F. Power
JCP
2007
145views more  JCP 2007»
15 years 7 months ago
AnnAnn and AnnAnn.Net: Tools for Teaching Programming
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
Clare J. Hooper, Les Carr, Hugh C. Davis, David E....
« Prev « First page 1106 / 1506 Last » Next »