Sanjiva Prasad

Learn More
Facile is a symmetric integration of concurrent and functional programming. The language supports both function and process abstraction. Functions may be defined and used within processes, and processes can be dynamically created during expression evaluation. In this work we present two different descriptions of the operational semantics of Facile. First,(More)
We present a simple extension of the-calculus with located actions and channels and with location names as rst-class data, which models the notion of locality and failure present in the higher-order, distributed programming language Facile. The interaction between localities and failures distinguishes our approach from previous ones where the notion of(More)
The de facto service architecture of today's communication networks, in particular the Internet, is heterogeneous, complex, ad hoc, and not particularly well understood. With layering as the only means for functional abstraction, and even this violated by middle-boxes, the diversity of current technologies can barely be expressed, let alone analyzed. As a(More)
BACKGROUND Since the end of last century, technology has taken a front seat in dispersion of medical education. Advancements of technology in neurosurgery and traditional training methods are now being challenged by legal and ethical concerns of patient safety, resident work-hour restriction and cost of operating-room time. To supplement the existing(More)
BACKGROUND Drilling of the anterior clinoid process (ACP) is an integral component of surgical approaches for central and paracentral skull base lesions. The technique to drill ACP has evolved from pure intradural to extradural and combined techniques. OBJECTIVE To describe the computerized morphometric evaluation of exposure of optic nerve and internal(More)
OBJECT The surgical corridor to the upper third of the clivus and ventral brainstem is hindered by critical neurovascular structures, such as the cavernous sinus, petrous apex, and tentorium. The traditional Kawase approach provides a 10 × 5-mm fenestration at the petrous apex of the temporal bone between the 5th cranial nerve and internal auditory canal.(More)