13591 search results - page 39 / 2719 » On the Implementation of Dynamic Evaluation |
150
click to vote
ICDE
1999
IEEE
1999
IEEE
Working Together in Harmony - An Implementation of the CORBA Object Query Service and Its Evaluation
15 years 11 months ago
The CORBA standard, together with its service specifications, has gained considerable attention in recent years. The CORBA Object Query Service allows for declarative access to he...
111
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
AINA
2003
IEEE
15 years 3 months ago
2003
IEEE
Network security has always been a significant issue, but a recognized priority today due to the popular of internet. The issue is not if security should be implemented on a netwo...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper presents performance results for the design and implementation of parallel pipelined Space-Time Adaptive Processing (STAP) algorithms on parallel computers. In particul...
79
Voted
ISCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Complex communication patterns often need to take into account the situation in which the information to be communicated is produced or consumed. Publish-subscribe, and particular...