4772 search results - page 688 / 955 » An approach to interface synthesis |
179
click to vote
RTA
2004
Springer
16 years 3 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
180
click to vote
ISCAS
2003
IEEE
16 years 19 hour ago
2003
IEEE
Conventional ASIC designs are hard to be customized. Therefore DSP core-based ASIC design has potentially large payoff. This approach not only supports improved performance but al...
177
click to vote
NDSS
2003
IEEE
16 years 15 hour ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
200
click to vote
SBACPAD
2003
IEEE
16 years 14 hour ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...
169
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...