DR. ROBERT SCOTT PALMER, D.D.S.
Dentist at 700, Salt Lake City, UT
License number
Utah 7261542-9922
Category
Dentist
Type
General Practice
License number
Utah 7597
Category
Dentist
Type
Dentist
Address
Address
223 S 700 E STE 3, Salt Lake City, UT 84102
Phone
(801) 355-6997
Personal information
See more information about ROBERT SCOTT PALMER at radaris.comName
Address
Phone
454 S 7600 E, Huntsville, UT 84317
Professional information
Retired Old Fart At Rdp Enterprises
Location:
Greater Salt Lake City Area
Industry:
Military
Work:
Motorola
Mar 1972 - Jan 2009
-
I Can't remember
Education:
Weber State University 1970 - 2013
BS Psychology The University of Georgia 1965 - 1966
None Perry High School 1962 - 1964
Diploma
BS Psychology The University of Georgia 1965 - 1966
None Perry High School 1962 - 1964
Diploma
Demand Chain Manager At Skf
Position:
Operations Manager at SKF
Location:
Greater Salt Lake City Area
Industry:
Information Technology and Services
Work:
SKF
- Greater Salt Lake City Area since Jun 1998
-
Operations Manager
SKF
Jun 1998 - Apr 2009
-
Black Belt
Macrotech Polyseal
1998 - 2006
-
IT manager
Robert Palmer
Location:
Greater Salt Lake City Area
Industry:
Computer Software
Dr. Robert S Palmer, Salt Lake City UT - DDS (Doctor of Dental Surgery)
Specialties:
Dentistry
Address:
223 S 700 E SUITE 3, Salt Lake City 84102
(801) 355-6997 (Phone)
(801) 355-6997 (Phone)
Languages:
English
Sound Transaction-Based Reduction Without Cycle Detection
US Patent:
7650595, Jan 19, 2010
Filed:
Apr 29, 2005
Appl. No.:
11/119530
Inventors:
Shaz Qadeer - Seattle WA, US
Sriram K. Rajamani - Bellevue WA, US
Vladimir A. Levin - Redmond WA, US
Robert Palmer - Salt Lake City UT, US
Sriram K. Rajamani - Bellevue WA, US
Vladimir A. Levin - Redmond WA, US
Robert Palmer - Salt Lake City UT, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717127, 717131
Abstract:
Described techniques and tools help model checking scale to large programs while reducing missed errors. In particular, described techniques and tools help reduce the state space of concurrent programs without depending on cycle detection and without scheduling execution of postponed threads at all cycles. For example, described techniques and tools use a type of partial-order reduction called transaction-based reduction to reduce program state space. Analysis is performed at commit points to determine whether to schedule delayed threads.
Machinery Professional
Location:
Greater Salt Lake City Area
Industry:
Machinery