Sciweavers

1712 search results - page 219 / 343
» Abstract Constraint Data Types
Sort
View
DATE
2008
IEEE
134views Hardware» more  DATE 2008»
15 years 5 months ago
Adaptive Filesystem Compression for Embedded Systems
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
Lan S. Bai, Haris Lekatsas, Robert P. Dick
FROCOS
2007
Springer
15 years 5 months ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
GLOBECOM
2006
IEEE
15 years 5 months ago
Differentiated Multiclass QoS in Wireless Multicarrier Environments
Abstract— Differentiated QoS provision in wireless environments via multicarrier energy allocation is examined in this work. Within this framework, differentiated QoS is applied ...
Michael A. Enright, C. C. Jay Kuo
IH
2001
Springer
15 years 3 months ago
Keyless Public Watermarking for Intellectual Property Authentication
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
Gang Qu
JCNS
2007
43views more  JCNS 2007»
14 years 11 months ago
Using extracellular action potential recordings to constrain compartmental models
Abstract We investigate the use of extracellular action potential (EAP) recordings for biophysically faithful compartmental models. We ask whether constraining a model to fit the ...
Carl Gold, Darrell A. Henze, Christof Koch