1658 search results - page 195 / 332 » Implementing Bit-addressing with Specialization |
112
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
95
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
116
click to vote
SI3D
2010
ACM
15 years 7 months ago
2010
ACM
Stochastic transparency provides a unified approach to orderindependent transparency, anti-aliasing, and deep shadow maps. It augments screen-door transparency using a random sub...
106
click to vote
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
82
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
Eliciting user preferences for large datasets and creating rankings based on these preferences has many practical applications in community-based sites. This paper gives a new met...