10916 search results - page 2076 / 2184 » On Constructive Connectives and Systems |
164
click to vote
KBSE
2006
IEEE
16 years 12 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
139
click to vote
LAWEB
2006
IEEE
16 years 12 days ago
2006
IEEE
Internet browsing is highly dependent on the real-time network availability and speed. This becomes a significant constraint when browsing over slow and intermittent networks. In ...
181
click to vote
SIPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
163
click to vote
CASES
2006
ACM
16 years 11 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
175
click to vote
PLDI
2006
ACM
16 years 10 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...