Sciweavers

3037 search results - page 190 / 608
» A High Performance Application Representation for Reconfigur...
Sort
View
SIGADA
2005
Springer
16 years 47 min ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
COOTS
1998
15 years 7 months ago
The Design and Performance of MedJava
The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
Prashant Jain, Seth Widoff, Douglas C. Schmidt
IJHPCN
2006
106views more  IJHPCN 2006»
15 years 6 months ago
Performance evaluation of the Sun Fire Link SMP clusters
As symmetric multiprocessors become commonplace, the interconnection networks and the communication system software in clusters of multiprocessors become critical to achieving high...
Ying Qian, Ahmad Afsahi, Nathan R. Fredrickson, Re...
CSMR
2007
IEEE
16 years 26 days ago
An approach for mining services in database oriented applications
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
Concettina Del Grosso, Massimiliano Di Penta, Igna...
PGLDB
2003
123views Database» more  PGLDB 2003»
15 years 7 months ago
The Practice of Instructional Design: The Process and Its Application
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
Ana Lúcia Rossi Mendonça