Sciweavers

7520 search results - page 1135 / 1504
» Applications Development for the Computational Grid
Sort
View
CSEE
2000
Springer
15 years 11 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
ISLPED
1995
ACM
131views Hardware» more  ISLPED 1995»
15 years 10 months ago
Guarded evaluation: pushing power management to logic synthesis/design
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
Vivek Tiwari, Sharad Malik, Pranav Ashar
BPSC
2007
171views Business» more  BPSC 2007»
15 years 8 months ago
XML Databases: Principles and Usage
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
Jaroslav Pokorný
ATMN
1993
15 years 8 months ago
Local Allocation of End-to-End Quality-of-Service in High-Speed Networks
Quality-of-service (QOS) requirements for applications in high-speed networks are typically specied on an end-to-end basis. Mapping this end-to-end requirement to nodal requiremen...
Ramesh Nagarajan, James F. Kurose, Donald F. Towsl...
DOCENG
2010
ACM
15 years 7 months ago
Next generation typeface representations: revisiting parametric fonts
Outline font technology has long been established as the standard way to represent typefaces, allowing characters to be represented independently of print size and resolution. Alt...
Tamir Hassan, Changyuan Hu, Roger D. Hersch
« Prev « First page 1135 / 1504 Last » Next »