|
Gadia, Shashi K.
Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data.
http://www.cs.iastate.edu/faculty/gadia.html
Iastate.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
Grumberg, Orna
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
http://www.cs.technion.ac.il/users/orna/
Technion.ac.il ~
Site Info
Whois
Trace Route
RBL Check
|
|
George, Deepak
This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, style guides, tips on designing and some useful codes.
http://www.geocities.com/deepakgeorge2000/
Geocities.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
Ghosh, R. K.
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
http://www.cse.iitk.ac.in/~rkg/
Iitk.ac.in ~
Site Info
Whois
Trace Route
RBL Check
|
|
Goethals, Bart
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
http://www.adrem.ua.ac.be/~goethals/
Ac.be ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|