Sciweavers

14379 search results - page 2854 / 2876
» is 2000
Sort
View
JSS
2000
86views more  JSS 2000»
14 years 10 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
JSYML
2000
103views more  JSYML 2000»
14 years 10 months ago
A Model Complete Theory of Valued D-Fields
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
Thomas Scanlon
JUCS
2000
102views more  JUCS 2000»
14 years 10 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
JUCS
2000
120views more  JUCS 2000»
14 years 10 months ago
Execution and Cache Performance of the Scheduled Dataflow Architecture
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...
Krishna M. Kavi, Joseph Arul, Roberto Giorgi
KAIS
2000
139views more  KAIS 2000»
14 years 10 months ago
Incremental View Maintenance for Mobile Databases
In a mobile environment, querying a database at a stationary server from a mobile client is expensive due to the limited bandwidth of a wireless channel and the instability of the ...
Ken C. K. Lee, Hong Va Leong, Antonio Si
« Prev « First page 2854 / 2876 Last » Next »