5376 search results - page 446 / 1076 » Scalable Kernel Systems |
202
Voted
ISMB
1994
15 years 8 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
197
Voted
ARTMED
2007
15 years 7 months ago
2007
Objective: This study investigates the use of automated pattern recognition methods on magnetic resonance data with the ultimate goal to assist clinicians in the diagnosis of brai...
240
Voted
TKDE
2010
15 years 5 months ago
2010
—Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products, etc.). Social tag...
210
Voted
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
218
Voted
CL
2008
Springer
15 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...