2335 search results - page 445 / 467 » Type Checking Type Classes |
RTSS
1996
IEEE
14 years 28 days ago
1996
IEEE
An integrated platform which is capable of meeting the requirements of both traditional real-time control processing and multimedia processing has enormous potential for accommoda...
ICPADS
1994
IEEE
14 years 27 days ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
FSTTCS
1992
Springer
14 years 26 days ago
1992
Springer
In this paper we study the consequences of the existence of sparse hard sets for NP and other complexity classes under certain types of deterministic, randomized, and nondetermini...
BIBM
2007
IEEE
14 years 23 days ago
2007
IEEE
The tridimensional structure of a protein is constrained or stabilized by some local interactions between distant residues of the protein, such as disulfide bonds, electrostatic i...
DASFAA
2007
IEEE
14 years 21 days ago
2007
IEEE
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...