6768 search results - page 950 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
170
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of asymmetric multi-core processors with onchip computational accelerators is becoming common in a variety of environments ranging from scientific computing to enterprise...
164
Voted
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
216
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In the Bioinformatics field, a great deal of interest has been given to Non-negative matrix factorization technique (NMF), due to its capability of providing new insig...
164
Voted
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
A useful function of augmented reality (AR) systems is their ability to visualize occluded infrastructure directly in a user’s view of the environment. This is especially import...
187
click to vote
JPDC
2006
15 years 6 months ago
2006
Secure processor architectures enable new sets of applications such as commercial grid computing, software copy protection and secure mobile agents by providing secure computing e...