Sciweavers

3591 search results - page 487 / 719
» Typing linear constraints
Sort
View
MOBICOM
1996
ACM
15 years 10 months ago
TCP Extensions for Space Communications
The space communication environment and mobile and wireless communication environments show many similarities when observed from the perspective of a transport protocol. Both type...
Robert C. Durst, Gregory J. Miller, Eric J. Travis
FODO
1993
Springer
119views Algorithms» more  FODO 1993»
15 years 10 months ago
Physical Storage Organizations for Time-Dependent Multimedia Data
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
Huang-Jen Chen, Thomas D. C. Little
175
Voted
FPGA
2004
ACM
128views FPGA» more  FPGA 2004»
15 years 10 months ago
Incremental physical resynthesis for timing optimization
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
Peter Suaris, Lung-Tien Liu, Yuzheng Ding, Nan-Chi...
LREC
2008
91views Education» more  LREC 2008»
15 years 8 months ago
A Guide for the Production of Reusable Language Resources
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
Victoria Arranz, Franck Gandcher, Valérie M...
MODELLIERUNG
2008
15 years 8 months ago
Modelling Security Goals in Business Processes
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
Christian Wolter, Michael Menzel, Christoph Meinel