2062 search results - page 197 / 413 » Hardware Objects for Java |
ASIAN
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
FPL
2011
Springer
12 years 9 months ago
2011
Springer
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...
DDECS
2007
IEEE
14 years 4 months ago
2007
IEEE
— The paper describes pre-integrated subsystem consisting of a configurable 8-bit microcontroller and an Internet connection solution. The latter integrates Ethernet Media Access...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Nowadays computer graphics hardware presents a series of characteristics, such as AGP memory, vertex cache, etc., that can be used for real-time rendering. The aim of thi...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...