4302 search results - page 329 / 861 » Ambiguity as a resource for design |
215
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
156
click to vote
DSN
2005
IEEE
16 years 1 months ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...
206
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
— Multicycling is a widely investigated technique for performance optimisation in behavioural synthesis. It allows an operation to execute over two or more control steps with the...
240
click to vote
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
A key challenge for distributed real-time and embedded (DRE) middleware is maintaining both system reliability and desired real-time performance in unpredictable environments wher...
184
click to vote
ASPDAC
2005
ACM
16 years 1 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...