Sciweavers

32032 search results - page 6101 / 6407
» Verified programming in Guru
Sort
View
SIGUCCS
2005
ACM
16 years 9 days ago
Developing a synchronous web seminar application for online learning
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
Michael D. Ciocco, Neil Toporski, Michael Dorris
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
16 years 9 days ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
VEE
2005
ACM
143views Virtualization» more  VEE 2005»
16 years 9 days ago
Optimized interval splitting in a linear scan register allocator
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
Christian Wimmer, Hanspeter Mössenböck
WIKIS
2005
ACM
16 years 9 days ago
WikiWiki weaving heterogeneous software artifacts
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
Ademar Aguiar, Gabriel David
WOWMOM
2005
ACM
109views Multimedia» more  WOWMOM 2005»
16 years 9 days ago
On Maximizing Lifetime of a Sensor Cluster
We consider the energy consumed in radio transmission of a set of sensors forming a data gathering wireless network. Our objective is to enhance the lifetime of such networks by e...
Samar Agnihotri, Pavan Nuggehalli, H. S. Jamadagni
« Prev « First page 6101 / 6407 Last » Next »