518 search results - page 73 / 104 » Specification, Implementation, and Validation of Object-Orie... |
137
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
130
Voted
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
117
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
115
Voted
CIDR
2007
15 years 5 months ago
2007
Current web search engines essentially conduct document-level ranking and retrieval. However, structured information about realworld objects embedded in static webpages and online...
119
Voted
IASTEDSE
2004
15 years 5 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...