Sciweavers

10996 search results - page 373 / 2200
» Future Directions in Computing
Sort
View
DATE
2009
IEEE
147views Hardware» more  DATE 2009»
16 years 1 months ago
Computation of IP3 using single-tone moments analysis
Intermodulation distortion is one of the key design requirements of Radio Frequency circuits. The standard approach for analyzing distortion using circuit simulators is to mimic m...
Dani Tannir, Roni Khazaka
ICSM
2007
IEEE
16 years 1 months ago
Computation of Static Execute After Relation with Applications to Software Maintenance
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
Árpád Beszédes, Tamás ...
WEBI
2004
Springer
16 years 2 days ago
A Web-Based Intelligent Tutoring System for Computer Programming
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
Cory J. Butz, Shan Hua, R. Brien Maguire
FSTTCS
2006
Springer
15 years 10 months ago
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
Véronique Cortier, Steve Kremer, Ralf K&uum...
AIPS
2010
15 years 9 months ago
Computing Applicability Conditions for Plans with Loops
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...