6111 search results - page 934 / 1223 » Time, Hardware, and Uniformity |
169
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
189
click to vote
CONTEXT
2003
Springer
15 years 12 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
153
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
188
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
181
click to vote
ISMVL
2002
IEEE
15 years 11 months ago
2002
IEEE
An impact of introducing multi-level signals to a bandpass delta-sigma modulator (DSM), which is of particular interest for wireless communications applications, has been investig...