1013 search results - page 169 / 203 » A hardware implementation of realloc function |
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— Neural networks are used in a wide number of fields including signal and image processing, modeling and control and pattern recognition. Some of the most common type of neural ...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...